 AC2 is now easily derived from Zorn’s Lemma in this alternative form. For the set \(P\) of potential choice functions on an indexed family of sets \(\sA\) is clearly nonempty and is readily shown to be strongly inductive; so Zorn’s lemma yields the existence of a choice function on \(\sA\). 