theorem :: XPRIMES0:1110

not 1110 is prime