Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Proof. Apply Proposition 7.1.7.6 in the special case $\operatorname{\mathcal{C}}' = \{ C\} $ (see Example 7.1.6.3). $\square$