theorem :: XPRIMES0:1943

not 1943 is prime