Round-six lemma `ptsChk_ok`