theorem :: XPRIMES0:1116

not 1116 is prime