theorem :: XPRIMES0:93

not 93 is prime