4 Sea $A$ un conjunto de funciones $f : R\to R$ . Para todos $f_1, f_2 \in A$ existe un $f_3 \in A$ tal que $f_1(f_2(y) - x)+ 2x = f_3(x + y)$ para todo $x, y \in R$ . Demuestre que para toda $f \in A$ , se tiene $f(x - f(x))= 0$ para todo $x \in R$ .