Proposición 10.6.1.