theorem :: XPRIMES0:1111

not 1111 is prime