theorem :: XPRIMES1:193

193 is prime