Proving that Algebraic Numbers Form a Field

as mentioned in this article,  I will prove that $Q[\alpha]$ is a field. The other axioms of fields are rather trivial here, so I will just do the following two.