Proposición 10.6.2.