theorem :: XPRIMES0:1462

not 1462 is prime