Entonces un extremo de formula_8 está en formula_11 y el otro no.