Proposición 6.5.5.