Existence of Maximal Ideals