Proof: A'-B' = B-A (Double Inclusion) | Set Theory