theorem :: XPRIMES0:1975

not 1975 is prime