Consider the following statement. For all sets A and B, (A - B) cup (A cap B) = A. An algebraic proof for the statement is given below. Select the properties from Theorem 6.2.2 that justify the statement.