theorem :: XPRIMES0:993

not 993 is prime