Implicit Function Theorem example in Baby Rudin I am looking at example 2.29 of Baby Rudin (page 227) of my edition to illustrate the implicit function theorem. This is what the example is:


Take $n= 2$ and $m=3$ and consider $\mathbf{f} = (f_1,f_2)$ of $\Bbb{R}^5$ to $\Bbb{R}^2$ given by 
    $$\begin{eqnarray*} f_1(x_1,x_2,y_1,y_2,y_3) &=& 2e^{x_1} + x_2y_1 -4y_2 + 3 \\
f_2(x_1,x_2,y_1,y_2,y_3) &=& x_2\cos x_1 - 6x_1 + 2y_1 - y_3 \end{eqnarray*}.$$
    If $\mathbf{a} = (0,1)$ and $\mathbf{b} = (3,2,7)$, then $\mathbf{f(a,b)} = 0$. With respect to the standard bases, the derivative of $f$ at the point $(0,1,3,2,7) $ is the matrix 
    $$[A] = \left[\begin{array}{ccccc} 2 & 3 & 1 & -4 & 0 \\ -6 & 1 & 2 & 0 & -1 \end{array}\right].$$
    Hence if we observe the $2 \times 2$ block
    $$\left[\begin{array}{cc} 2 & 3 \\ -6 & 1 \end{array}\right]$$
    it is invertible, and so by the implicit function theorem there exists a $C^1$ mapping $\mathbf{g}$ defined on a neighbourhood of $(3,2,7)$ such that $\mathbf{g}(3,2,7 ) = (0,1)$ and $\mathbf{f}(\mathbf{g}(\mathbf{y}),\mathbf{y}) = 0$.


Now what I don't understand is from such a $\mathbf{g}$, how does this mean that I can solve the variables $x_1$ and $x_2$ for $y_1,y_2,y_3$ locally about $(3,2,7)$? 
Also if I wanted to carry out this computation explicitly, how can I do it? We do not have a nice and shiny linear system to solve unlike problem 19 of the same chapter.
Thanks.
 A: With regards to your first question see this and this. Also Rudin's Principles of Mathematical Analysis theorem 9.27 covers this (see equation (59)).
With regards to your second question I do not think the implicit function theorem gives you an explicit way to solve the system. Consider the function $y = xe^x$. Even trying to solve this in terms of $y$ requires the Lambert W function.
A: As suggested by several comments the implicit function theorem as well as the inverse function theorem (which is equivalent to the implicit function theorem) are (powerful) existence theorems which in fact provide little help when it comes to explicitly computing an inverse or implicit function. This is, however, usually not necessary in applications in analysis. 
What is extremely important in the two theorems (apart from the existence claim) are the assertions of the uniqueness/invertibility of the solution in a whole neighbourhood (having topological consequences, e.g.,  the inverse functions theorem shows that $C^1$ maps with invertible derivative in one point are locally open)  and regularity of the functions the existence of which is guaranteed (i.e. $f(x,y)\in C^1 (C^k)$ and the assumptions of the theorem are fulfilled $ \Rightarrow g\in C^1 (C^k)$ if $f(x, g(x))=0$). 
As most people have difficulties to grasp the implicit function theorem when they first get to see it I think Rudin's intention was to illustrate the steps which are necessary when one wants to apply it.  
