theorem :: NEWTON03:33

for a being non zero square Element of NAT
for p being prime Nat st p divides a holds
not a + p is square