theorem :: XPRIMES0:1470

not 1470 is prime