theorem :: NEWTON03:34

for a being non zero square Nat
for p being prime Nat st a + p is square holds
p = (2 * (sqrt a)) + 1