[math-fun] n is prime iff