Class Difference of B with Class Difference of A with B

Theorem
Let $A$ and $B$ be classes.

Then:
 * $B \setminus \paren {A \setminus B} = B$

where $S \setminus T$ denotes class difference.