Prove special cases of Zorn's Lemma

[sudgy]

As it currently stands, many of the proofs of Zorn's Lemma repeat significant parts of their proof. This is especially true when using Zorn's Lemma to construct a function. Some of the special cases of Zorn's Lemma should be abstracted out into their own proofs.