Proposición 11.4.2.