symmetric difference associative proof