theorem Th35: :: NUMBER05:39

for m, n being positive Nat holds not (m ^2) - (n ^2) = 4