theorem PSQ: :: NEWTON03:30

for k being Nat
for p being prime Nat st p divides (p + (k + 1)) * (p - (k + 1)) holds
k + 1 >= p