Distribution of existential quantification over disjunction

Existential quantification distributes over dis-junction:

$$\exists x(P(x)\vee Q(x))\equiv \exists x(P(x))\vee \exists xQ(x)$$