Remark 11.4.0.24. By swapping the roles of the monomorphisms $i: A_{} \hookrightarrow B_{}$ and $i': A'_{} \hookrightarrow B'_{}$ in the proof of Proposition 11.6.0.135, we obtain a proof of Theorem 3.1.3.1 (which is essentially the same as the proof given in ยง3.1.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$