Proposición 10.4.1.