theorem :: XPRIMES0:110

not 110 is prime