Round-six lemma `xorBody_fsp`