theorem Th86: :: NUMBER08:86

for p being Prime holds
( (((1 + p) + (p |^ 2)) + (p |^ 3)) + (p |^ 4) is square iff p = 3 )