[math-fun] A test for primality using elliptic curves