theorem :: XPRIMES0:114

not 114 is prime