Proposición 12.2.3.