theorem :: XPRIMES0:1485

not 1485 is prime