theorem :: XPRIMES0:1136

not 1136 is prime