theorem :: XPRIMES0:943

not 943 is prime