Lemma_von_Zorn loading ...