Gaussian integer
Using the facts that the Gaussian integers are a Euclidean domain and that for a Gaussian integer p formula_72 is always a square it is possible to show that a Pythagorean triple corresponds to the square of a prime Gaussian integer if the hypotenuse is prime.