Proposición 10.2.6.