theorem :: XPRIMES0:117

not 117 is prime