Bài tập 2, § 4

Cho $A$ và $B$ là các quan hệ trong $\mathscr{T}$, và cho $x$ là một chữ cái, phân biệt với các hằng của $\mathscr{T}$, không xuất hiện trong $A$. Nếu $B \Rightarrow A$ là một định lý trong $\mathscr{T}$, thì $((\exists x)B) \Rightarrow A$ là một định lý trong $\mathscr{T}$.