Proposición 12.3.6.