Proposición 10.3.3.