theorem :: XPRIMES0:1134

not 1134 is prime