sentences:  For instance, the third proof uses that every filter is contained in an ultrafilter (i.e., a maximal filter), and this is seen by invoking Zorn's lemma.Zorn's lemma is also used to prove Kelley's theorem, that every net has a universal subnet.In fact these uses of AC are essential