theorem :: XPRIMES0:1967

not 1967 is prime