Round-six lemma `iL`