[DTube] Proof the derivative of sin(x) = cos(x) by First Principles