Sea formula_122 Para cada formula_108 en formula_100 definamos