Corolario C.1.