proof symmetric difference