Proposición 10.6.7.