theorem :: XPRIMES1:191

191 is prime