Proposición 12.3.4.