Proposición C.3.1.