theorem :: XPRIMES0:1246

not 1246 is prime