WolframAlpha computational knowledge AI
(2ˆint(p/2)+1)mod p=