Distribution of universal quantification over conjunction

Universal quantification distributes over conjunction:

$$\forall x(P(x)\wedge Q(x))\equiv \forall x(P(x))\wedge \forall xQ(x)$$