theorem :: XPRIMES1:179

179 is prime