theorem :: XPRIMES0:1102

not 1102 is prime