Zorn John;Lemma