Proposición 7.2.8.