theorem :: XPRIMES0:1257

not 1257 is prime