Proposición 10.6.3.