A5 Demuestra que existe una única función $f$ del conjunto $\mathrm{R}^+$ de los números reales positivos a $\mathrm{R}^+$ tal que \[ f(f(x)) = 6x-f(x) \] y \[ f(x)>0 \] para todo $x>0$ .