theorem :: XPRIMES0:474

not 474 is prime