formula_28; y, formula_59 es la inyección canónica