>>30 から次の命題が得られる。

命題
x^2 + y^2 = z^2 の整数解で gcd(x, y) = 1 となるものは
x = a^2 - b^2
y = 2ab
z = a^2 + b^2
で与えられる。
ここで a, b ∈ Z で gcd(a, b) = 1 であり、a ≡ b (2) ではない。