theorem :: XPRIMES0:476

not 476 is prime