Proposición 8.2.2.