theorem :: XPRIMES0:175

not 175 is prime