Proposición 14.3.1.