Cauchy Sequences form Ring with Unity/Corollary

Corollary to Cauchy Sequences form Ring with Unity
Let $\struct {F, +, \circ, \norm {\, \cdot \,} }$ be a valued field.

Let $\struct {F^\N, +, \circ}$ be the commutative ring of sequences over $F$ with unity $\tuple {1, 1, 1, \dotsc}$.

Let $\CC \subset F^\N$ be the set of Cauchy sequences on $F$.

Then:
 * $\struct {\CC, +, \circ}$ is a commutative subring of $F^\N$ with unity $\tuple {1, 1, 1, \dotsc}$.

Proof
By Cauchy Sequences form Ring with Unity, $\struct {\CC, +, \circ}$ is a subring of $F^\N$.

We have that $\circ$ is commutative on $F^\N$.

Hence by Restriction of Commutative Operation is Commutative the restriction of $\circ$ to $\CC$ is commutative.