Tipo 1 y tipo 2 representan las mismas dependencias (formula_16 y formula_17 son independientes dada formula_18) y son, por tanto, indistinguibles.