Proposición C.4.2.