>>162
(f+g)'(x)=f'(x)+g'(x)
(λf)'(x)=λf'(x)
の右辺は仮定から意味を持つのだから証明オワットルだろうが。