Theorem PythagoreanTriple.gcd_dvd

Modification history