Show that
$\forall x(C \land D) \equiv (\forall x\ C) \lor D$
where $C$ may have free occurrences of $x$, but $D$ does not have a free occurrence of $x$.
Prove this using only propositional logic inference rules and the quantifier introduction and elimination rules (don't use any of the logical identities).