theorem :: XPRIMES0:470

not 470 is prime