theorem Th44: :: NEWTON01:45

for a, b, c being Nat
for q being Integer st q < 0 & b < c & (a |^ 2) + (b |^ 2) = c |^ 2 holds
(a |^ 2) + ((b + q) |^ 2) > (c + q) |^ 2