theorem :: XPRIMES0:1273

not 1273 is prime