Proposición 10.4.2.