Proposición 4.3.1.