theorem :: XPRIMES0:1252

not 1252 is prime