theorem :: XPRIMES0:1121

not 1121 is prime