theorem :: XPRIMES0:1966

not 1966 is prime