Round-six lemma `unzP_spec`