Proposición 10.3.4.