Llamamos traslación por a, a la función formula_4 de formula_1 en si mismo que envía cada punto formula_6 en a+x.