A proof using Zorn's lemma (one of many equivalent assumptions to the axiom of choice) can be found in Serge Lang's Algebra.
Zorn の補題（選択公理と同値なたくさんの命題のひとつ）を用いた証明が Serge Lang の Algebra で見つけられる。