Sea formula_7 tal que formula_8 Es fácil ver que se trata de un endomorfismo de grupos, ya que