Round-six lemma `cgP_sp`