theorem Th34: :: NUMBER05:38

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