. "E. Lucas56 proved that if p is a prime and k is a positive integer, and p = x2+ky2, then p^x2-}-ky2 for values x\\y y\\ distinct from =*=#, =???=y." . . .