Para todo elemento formula_23 en formula_24, tenemos :