Proposición 11.4.11.