theorem :: XPRIMES0:116

not 116 is prime