theorem :: NUMBER05:45

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