Round-six lemma `MinvE_err`