Establish these logical equivalences, where $x$ does not occur as a free variable in $A$. Assume that the domain is nonempty.
- $\forall x P(x) \rightarrow A \equiv \exists x P(x) \rightarrow A$
- $\exists x P(x) \rightarrow A \equiv \forall x (P(x) \rightarrow A$