theorem :: NEWTON02:75

for a, b being Nat st a,b are_coprime holds
a + b,((a |^ 2) + (b |^ 2)) + (a * b) are_coprime