theorem :: XPRIMES0:471

not 471 is prime