theorem :: XPRIMES0:933

not 933 is prime