AKS-Test to prove that p' is a prime. (With 100% probability)