theorem :: XPRIMES0:1968

not 1968 is prime