Intersection Distributes over Intersection/Sets of Sets

Theorem
Let $A$ and $B$ denote sets of sets.

Then:
 * $\ds \bigcap \paren {A \cap B} = \paren {\bigcap A} \cap \paren {\bigcap B}$

where $\ds \bigcap A$ denotes the intersection of $A$.