"\(\Leftarrow\)" Ist \(g(x) = K\mathrm{e}^x\), dann ist \(g'(x) = K\mathrm{e}^x\) laut Ableitungsregeln und somit \(g'(x) = g(x)\).
"\(\Rightarrow\)" Sei \(x_0 \in (a,b)\), \(y_0\in \mathbb{R}\). Das Anfangswertproblem
\(g'(x)=g(x)\qquad g(x_0)=y_0\)
ist laut des Satzes von Picard-Lindelöf auf \((a,b)\) eindeutig lösbar. Eine Lösung ist
\(g(x) = \frac{y_0}{\mathrm{e}^{x_0}}\mathrm{e}^x\).