Round-six lemma `umt2_chk`