Sean formula_23 y formula_24 elementos de formula_1 tales que formula_36