Proposición 4.8.2.