Shorten the proof that derivatives are linear