C^1 implies differentiable

$C^1$ implies differentiable: Let $U\subseteq\mathbb{R}^n$ be open and let $f:U\to\mathbb{R}^m$. Suppose all first-order partial derivatives of $f$ exist on a neighborhood of $a\in U$ and are continuous at $a$ (equivalently, $f$ is $C^1$ near $a$). Then $f$ is differentiable at $a$.

This theorem provides a practical sufficient condition for differentiability: checking continuity of partial derivatives is often much easier than verifying the definition of differentiability directly.