Proposición 7.4.4.