Proposición 7.2.4.