theorem :: XPRIMES0:1247

not 1247 is prime