Agrawal's_conjecture
In number theory, Agrawal's conjecture, due to Manindra Agrawal in 2002,[1] forms the basis for the cyclotomic AKS test. Agrawal's conjecture states formally:
Let and be two coprime positive integers. If
then either is prime or