Putnam 1988 A5

Prove that there exists a unique function $f$ from the set $\mathrm{R}^+$ of positive real numbers to $\mathrm{R}^+$ such that $$f(f(x)) = 6x-f(x)$$ and $$f(x)>0$$ for all $x>0$.