>>907
(f+g)(ta+sb) = f(ta+sb) + g(ta+sb) ≦ tf(a)+sf(b) + tg(a)+sg(b) = t(f(a)+g(a))+s(f(b)+g(b)) = t(f+g)(a)+s(f+t)(b)