theorem :: XPRIMES0:498

not 498 is prime