theorem :: XPRIMES0:1961

not 1961 is prime