theorem :: XPRIMES0:1175

not 1175 is prime