formula_110 una acción a derecha diferenciable,