theorem :: XPRIMES0:1160

not 1160 is prime