Proposición 8.2.1.