theorem :: XPRIMES0:1970

not 1970 is prime