theorem :: XPRIMES0:1962

not 1962 is prime