Set Theory Proof: Prove that the Relative Complement Distributes over the Intersection of Sets