Proposición 2.4.7.