donde formula_31 es el operador "generador de las traslaciones".