Universal Quantifier Distributes over Conjunction

Theorem
Let $\map \phi x, \map \psi x$ be WFFs of the free variable $x$.

Then:
 * $\forall x: \paren {\map \phi x \land \map \psi x} \dashv \vdash \paren {\forall x: \map \phi x} \land \paren {\forall x: \map \psi x}$