Proposición 7.2.2.