donde formula_3 es la proyección canónica de formula_4 en formula_5.