Proof that the derivative of any constant is zero. Also has two brief examples, mostly for the notation.