theorem :: XPRIMES0:1119

not 1119 is prime