Como la única traslación que fija puntos del plano es la identidad, se tiene que formula_177, de donde formula_178.