Proposición 12.3.2.