Proposición 10.3.1.