theorem Th38: :: NUMBER05:42

for q, s, t being Prime holds
( not q ^2 = (s ^2) + (t ^2) or ( s is even & t is odd ) or ( s is odd & t is even ) )