theorem :: XPRIMES0:1105

not 1105 is prime