# Theorem that says partial and ordinary derivatives are mixed?

F(q_1,...,q_n,t)

$$\frac{d}{dt}\frac{\partial}{\partial \dot{q}} \frac{dF}{dt} = \frac{\partial}{\partial q} \frac{dF}{dt}$$

what's the theorem that says partial and ordinary derivatives are mixed?