ガウス整数
If the Gaussian integer is not prime then it is the product of two Gaussian integers p and q with formula_72 and formula_74 integers. Since magnitudes multiply in the Gaussian integers, the product must be formula_75, which when squared to find a Pythagorean triple must be composite. The contrapositive completes the proof.