theorem :: XPRIMES0:1946

not 1946 is prime