Let $f:U\rightarrow \mathbb{R}$ defined on the open set $U \subset \mathbb{R}^m$. It the function $g(x):U\rightarrow \mathbb{R}$, given by the expression $$g(x)= \int\_{0}^{f(x)} (t^2 + 1)dt,$$ of class $C^{\infty}$, then f is $C^{\infty}$.Explicitly using the implicit function theorem, knowing that the inverse function is equivalent.