theorem :: XPRIMES0:1458

not 1458 is prime