theorem :: XPRIMES0:1971

not 1971 is prime