Subspace of Smooth Real Functions

Corollary to Subspace of Real Functions of Differentiability Class
Let $\mathbb J = \set {x \in \R: a < x < b}$ be an open interval of the real number line $\R$.

Let $\map {\CC^{\paren \infty} } {\mathbb J}$ denote the set of all continuous real functions on $\mathbb J$ which are differentiable on $\mathbb J$ at all orders.

Then $\struct {\map {\CC^{\paren \infty} } {\mathbb J}, +, \times}_\R$ is a subspace of the $\R$-vector space $\struct {\R^{\mathbb J}, +, \times}_\R$.