theorem :: XPRIMES0:1969

not 1969 is prime