theorem :: XPRIMES0:1101

not 1101 is prime