Intersection of Power Sets

Theorem
The intersection of the power sets of two sets $S$ and $T$ is equal to the power set of their intersection:


 * $\powerset S \cap \powerset T = \powerset {S \cap T}$