Round-six lemma `dnCore_sp`