Proposición 12.2.2.