Differentiation From First Principles Proof