Proposición C.5.1.