theorem :: XPRIMES0:176

not 176 is prime