Round-six lemma `xorGen_fsp`