theorem :: XPRIMES0:111

not 111 is prime