Re: [math-fun] n is prime iff