theorem :: XPRIMES0:1254

not 1254 is prime