theorem :: XPRIMES0:1158

not 1158 is prime