Sea formula_135 el supramorfismo canónico, formula_136