Kernel of Character on Unital Commutative Banach Algebra is Maximal Ideal/Proof 1

Proof
From Kernel of Ring Homomorphism is Ideal, $\ker \phi$ is an ideal of $A$.

From First Isomorphism Theorem: Rings, we have:
 * $\phi \sqbrk A$ and $\dfrac A {\ker \phi}$ are isomorphic as rings.

From Character on Banach Algebra is Surjective, we have that $\phi \sqbrk A = \C$.

Hence:
 * $\ds \frac A {\ker \phi} \cong \C$

That is:
 * $\ds \frac A {\ker \phi}$ is a field.

From Maximal Ideal iff Quotient Ring is Field, we conclude that $\ker \phi$ is a maximal ideal of $A$.