theorem :: XPRIMES0:1135

not 1135 is prime