theorem :: XPRIMES0:1107

not 1107 is prime