theorem :: XPRIMES0:1100

not 1100 is prime