theorem :: XPRIMES0:484

not 484 is prime