Proposición 12.3.3.