Proposición 3.4.1.