theorem :: XPRIMES0:970

not 970 is prime