d d x a f ( x ) = a f ′ ( x ) {\displaystyle {\frac {d}{dx}}a\,f(x)=a\,f'(x)} , for every constant a.
Limit definition of the derivative, f ′ ( x ) = lim h → 0 f ( x + h ) − f ( x ) h {\displaystyle f'(x)=\lim_{h \to 0}\frac{f(x+h)-f(x)}{h}}
Let g ( x ) = a f ( x ) {\displaystyle g(x)=a\,f(x)} for some constant a. By the limit definition of the derivative:
To prove the proposition, it suffices to show that g ′ ( x ) = a f ′ ( x ) {\displaystyle g'(x)=a\,f'(x)} .
QED