Theorem: LF.COMP: For any $m$ and $b$, $f(x)=mx+b$ if and only if $f = f_{+b} \circ f_m$ where $f_m(x) =m*x$ and  $f_{+b}(x)=x+b$.