theorem :: XPRIMES0:1133

not 1133 is prime