theorem :: XPRIMES0:1157

not 1157 is prime