Exercise 6, § 4

Let $A$ and $R$ be relations in $\mathscr{T}$, and let $x$ be a letter. Then the relations $(\exists_A x)R \Rightarrow (\exists x)R$, $(\forall x)R \Rightarrow (\forall_A x)R$ are theorems in $\mathscr{T}$.