Greatly improve the proof that derivatives are unique