theorem :: XPRIMES0:1112

not 1112 is prime