Proposición 12.3.1.