Proposición 7.3.2.