theorem :: XPRIMES0:488

not 488 is prime