Suppose now that \(x_{i_1}, x_{i_2},\dots , x_{i_r}\) are the leading variables of \(L'\text{,}\) and \(x_{j_1}, x_{j_2},\dots, x_{j_s}\) are the free variables. Again, since \(U\) does not have a leading one in the last column, there are exactly \(r\) nonzero equations in \(L'\text{:}\) one for each leading variable. After bringing any terms involving free variables to the right, the \(k\)-th such equation takes the form
\begin{equation*}
x_{i_k}+c_{k,k+1}x_{i_{k+1}}+\cdots c_{k,r}x_{i_{r}}=d_k-G_k(x_{j_1},x_{j_2},\dots, x_{j_s})\text{.}
\end{equation*}
As in the previous case, back-substitution now allows us to solve for each leading variable as a function of the free variables:
\begin{align*}
x_{i_r}\amp =d_r-G_r(x_{j_1},x_{j_2},\dots, x_{j_s})\\
\amp =F_s(x_{j_1},x_{j_2},\dots, x_{j_s})\\
x_{i_{r-1}}\amp=d_{r-1}-c_{r}x_{i_r}-G_{r-1}(x_{j_1},x_{j_2},\dots, x_{j_s})\\
\amp = d_{r-1}-c_{r}F_r(x_{j_1},x_{j_2},\dots, x_{j_s})-G_{r-1}(x_{j_1},x_{j_2},\dots, x_{j_s})\\
\amp =F_{r-1}(x_{j_1},x_{j_2},\dots, x_{j_s})\\
\amp \vdots \\
x_1 \amp=F_1(x_{j_1},x_{j_2},\dots, x_{j_s})
\end{align*}
This new system of equations clearly has the same set of solutions as \(L'\) (and \(L\)), since it was obtained from \(L'\) by deleting zero rows of \(U\) and using only addition and subtraction operations. Furthermore, it is clear that any assignment of the free variables
\begin{equation*}
x_{j_1}=t_1, x_{j_2}=t_2,\dots, x_{j_s}=t_s
\end{equation*}
extends uniquely to the solution of \(L'\) that further assigns
\begin{equation*}
x_{i_1}=F_1(t_1,t_2,\dots, t_s), x_{i_2}=F_2(t_1,t_2,\dots, t_s), \dots, x_r=F_r(t_1,t_2,\dots, t_s)\text{.}
\end{equation*}
The idea behind uniqueness here, is that once you assign values to the free variables, the values of the leading variables are completely determined by the equations \(x_{i_k}=F_k(x_{j_1},x_{j_2},\dots, x_{j_s})\text{.}\)
Lastly, we show that every solution of \(L'\) (and \(L\)) is obtained in this way. Suppose \(u=(u_1,u_2,\dots, u_n)\) is a solution. According to the discussion above \(u\) must be the unique solution to \(L'\) corresponding to the free variable assignment
\begin{equation*}
x_{j_1}=u_{j_1}, x_{j_2}=u_{j_2},\dots , x_{j_s}=u_{j_s}
\end{equation*}
and corresponding leading variable assignment
\begin{equation*}
x_{i_1}=F_1(u_{j_1},x_{j_2},\dots, x_{i_2}), x_{i_2}=F_2(u_{j_1},x_{j_2},\dots, x_{j_s}),\dots, x_{i_r}=F_r(u_{j_1},x_{j_2},\dots, x_{j_s})\text{.}
\end{equation*}