Corollary 25.2:

The square

$\begin{CD} A @> i >> X \\ @V{f}VV @VV{h_1}V\\ B @> h_2 >> X\sqcup_f B \\ \end{CD}$

is a push-out where $h_1$ and $h_2$ are defined as in (25.1).