zorn lemma transfinite induction visualization