Set Difference is Right Distributive over Set Intersection

Theorem
Let $A, B, C$ be sets.

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

where:
 * $A \cap B$ denotes set intersection
 * $A \setminus C$ denotes set difference.

That is, set difference is right distributive over set intersection.