theorem :: XPRIMES1:167

167 is prime