Proposición 2.5.2.