The exact details depend on the definition of , but here are some remarks.

What is ? The formula A does not depend on x, so there is no sense in providing d to it.

The proof of equivalence should not require considering whether holds for all d. One should use the fact that if x is not free in A, then iff . So, if , then there is a such that . If , then and so . If , then and so .