First algorithm to show that primality testing is in P. Of extreme theoretical importance, but never used in practice.