Round-six lemma `bodyZ_sp`