theorem :: XPRIMES0:473

not 473 is prime