theorem Th39: :: NUMBER05:43

for q, s, t being Prime holds not q ^2 = (s ^2) + (t ^2)