Round-six lemma `swar12_chk`