Sea formula_20 cualquier elemento distinto del neutro en formula_19.