theorem :: XPRIMES1:829

829 is prime