The 'Agrawal-Kayal-Saxena' (AKS) test is based on the idea that in a polynomial ring, $(x+a)^n$ is equal to $x^n + a$ if and only if $n$ is prime. This is essentially a generalization of: