theorem :: XPRIMES0:252

not 252 is prime