theorem :: XPRIMES0:112

not 112 is prime