theorem :: XPRIMES0:70

not 70 is prime