For any sets A, B, C in a universe U:
If A n B = C n B and A n B' = C n B' then A = C
the "n" symbol means "intersect"
, by associative law (Algebra of sets - Wikipedia, the free encyclopedia)
But by definition of the complement. And every set intersected with the universe will result in the set itself.