theorem :: XPRIMES1:173

173 is prime