In the proof of Lemma 3, it should be “Finally, since χFC(z,z)=z, we have that polyFC(z)⋅polyFB∖C(z)=QFz.
Thus, QFz⋅QFx∩y∩z and QFx∩z⋅QFy∩z are both equal to polyFC(x∩z)⋅polyFB∖C(y∩z)⋅polyFC(z)⋅polyFB∖C(z).instead.
Fixed, Thanks.
In the proof of Lemma 3, it should be
“Finally, since χFC(z,z)=z, we have that polyFC(z)⋅polyFB∖C(z)=QFz.
Thus, QFz⋅QFx∩y∩z and QFx∩z⋅QFy∩z are both equal to polyFC(x∩z)⋅polyFB∖C(y∩z)⋅polyFC(z)⋅polyFB∖C(z).
instead.
Fixed, Thanks.