Category: zorns lemma

We could use Zorn’s lemma to prove this, but that would be like taking a rhino in a dog area.