theorem :: XPRIMES0:1258

not 1258 is prime