Prove that directional derivatives are the derivatives of a certain function. Add small fix for the component derivatives proposition