I know one form of a derivative, which is
$$ f'(x) = \lim_{\Delta\to 0} \frac{f(x+\Delta) - f(x)}{\Delta}$$
Let $x_{t+\Delta} = x_t + \Delta \dot x_t$. Achdou and coauthors (end of appendix A1) claim that
$$ \lim_{\Delta\to 0} \frac{f(x_{t+\Delta}) - f(x_t)}{\Delta} = \lim_{\Delta\to 0} \frac{f(x_t + \Delta \dot x_t) - f(x_t)}{\Delta} = f'(x_t)\dot x_t$$
I understand the first equality, that's merely the substitution. I can't wrap my head around the second one. How exactly does one show it?