Proposición 5.2.4.