La misma distinción se aplica cuando formula_16 y formula_17 tienen padres comunes, excepto que uno debe condicionar primero en esos padres.