theorem :: XPRIMES0:1243

not 1243 is prime