theorem :: XPRIMES1:197

197 is prime