Definition of Derivatives and the Power Rule in Differentiation