theorem :: XPRIMES0:1118

not 1118 is prime