Round-six lemma `giI_err`