Round-six lemma `eKz_ge`