Proposición 7.2.5.