# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Remark 6.3.0.5. By swapping the roles of the monomorphisms $i: A_{} \hookrightarrow B_{}$ and $i': A'_{} \hookrightarrow B'_{}$ in the proof of Proposition 6.5.0.10, we obtain a proof of Theorem 3.1.3.1 (which is essentially the same as the proof given in §3.1.3).