Set Difference Intersection with Second Set is Empty Set/Proof 2