theorem :: XPRIMES1:199

199 is prime