Derivative definition Remark Remark Trigonometric functions derivatives lemma Sum of differentiable functions lemma Product of differentiable functions lemma Remark