Proposición 2.3.2.