Proposición 10.6.13.