theorem :: XPRIMES0:1488

not 1488 is prime