theorem :: XPRIMES0:1113

not 1113 is prime