Empty Intersection iff Subset of Complement/Corollary/Proof 1

Proof
Let there exist such a set $X$.

Then: