theorem :: XPRIMES0:1941

not 1941 is prime