Intersection is Empty Implies Intersection of Subsets is Empty