Implicação direta de Proposição 3 \(\text{b})\).