En el segundo caso, se trata de formula_21 el neutro en formula_16 .