theorem :: XPRIMES0:1161

not 1161 is prime