Proposición 7.4.5.