Lemma von Zorn
all theorems of "L". By Zorn's lemma, each "L"-consistent set