Corolario A.1.