theorem :: XPRIMES0:1106

not 1106 is prime