Lemma von Zorn
This fact, together with Zorn's lemma (applied to an appropriately chosen poset), establishes the existence of algebraic closures.