statement. Cite a property from Theorem 6.2.2 for every step.
For all sets A and B, (An B) nA=A-B
38. For all sets A and B, (An B) n A = A - B.