por la suposición, luego la base "DC" (por la cuarta proposición) es