Proposición 2.3.