Proposición 11.4.7.