Round-six lemma `gamI_err`