En particular, si el formula_37 es la identidad,