theorem :: XPRIMES0:1486

not 1486 is prime