Proposición 2.6.