theorem :: XPRIMES0:472

not 472 is prime