theorem :: XPRIMES0:1122

not 1122 is prime