Proposición 12.2.1.