Sea formula_7 definida en formula_6, por formula_9, ssi, hay un formula_10 tal que formula_11 y formula_12 pertenecen a formula_13.