Let A and B be events. The symmetric difference A(triangle)B is defined to be the set of all elements that are in A or B but not both. In logic and engineering, this even is also called the XOR (exclusive or) of A and B. Show that P(A[triangle]B) = P(A) + P(B) - 2P(A[interaction]B) directly using the axioms of probability.