Zariski's_lemma loading ...