You should know that the symmetric difference operation is associative:
.
If then consider this:
. We have shown the property.
We want to prove that for each , there exists a unique set such that .
So and ?
Obviously because (by associative law). But that only proves existence and not uniqueness.
Thanks