Proposición 7.4.2.