si formula_36 son elementos de formula_7 tales que formula_38, entonces formula_39.