theorem :: NUMBER08:88

{ p where p is Prime : (((1 + p) + (p |^ 2)) + (p |^ 3)) + (p |^ 4) is square } = {3}