Proposición 2.4.3.