theorem :: XPRIMES0:1108

not 1108 is prime