Null Sequences form Maximal Left and Right Ideal/Corollary 1

Theorem
Let $\struct {F, \norm {\, \cdot \,} }$ be a valued field.

Let $\mathcal {C}$ be the ring of Cauchy sequences over $F$.

Let $\mathcal {N}$ be the set of null sequences.

That is:
 * $\mathcal {N} = \set {\sequence {x_n}: \displaystyle \lim_{n \mathop \to \infty} x_n = 0 }$

Then $\mathcal {N}$ is a maximal ring ideal of $\mathcal {C}$.

Proof
By every convergent sequence is a Cauchy sequence then $\mathcal {N} \subseteq \mathcal {C}$.

The proof is completed in these steps:
 * (1): $\mathcal {N}$ is an ideal of $\mathcal {C}$.


 * (2): $\mathcal {N}$ is a maximal left ideal.


 * (3): $\mathcal {N}$ is a maximal right ideal.