Pullback in morphism of exact sequences Suppose we have the following morphism of short exact sequences in $R$-Mod:
$$\begin{matrix}0\to&L&\stackrel{f'} \to& M'&\stackrel{g'}\to &N' & \to 0\\
&\;||&&\downarrow\rlap{\scriptsize\alpha'}&&\;\downarrow\rlap{\scriptsize\alpha}\\
0\to &L&\stackrel{f}\to& M&\stackrel{g}\to& N& \to 0 \end{matrix} $$
I have to show that the right square is a pullback.
What I have done: Suppose we have $K \in R$-Mod  and $ \phi : K \to N' $, $\lambda : K \to M $ that verifiy $$\alpha \circ \phi = g \circ \lambda$$
For $r \in K $ exists $m' \in M' $ with $g'(m') = \phi(k) $ because $g'$ is surjective.
So I defined $z : K \to M' $ with $$z(k) = m'$$
But now I'm stuck, how to proceed ?

If $(m,n') \in M \times_N N'$, choose a lift $m' \in M'$ of $n'$ and consider the image $\tilde{m} \in M$. Then $\tilde{m},m$ have the same image in $N$, hence there is a unique $l \in L$ such that $m=\tilde{m}+f(l)$. Then $m' + f'(l)$ is a the unique element of $M'$ which maps to $m$ and to $n'$.
