Remark 5.6.8.4. Theorem 5.6.8.3 is an immediate consequence of Theorem 5.6.5.12. We will see at the end of this section that the converse is also true.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 5.6.8.4. Theorem 5.6.8.3 is an immediate consequence of Theorem 5.6.5.12. We will see at the end of this section that the converse is also true.