theorem :: XPRIMES0:1114

not 1114 is prime