Bài tập 4, § 5

Cho $R$ và $S$ là các quan hệ trong $\mathscr{T}$, và cho $x$ là một chữ cái không phải là một hằng của $\mathscr{T}$. Nếu $R$ là phiếm hàm theo $x$ trong $\mathscr{T}$, và nếu $R \Leftrightarrow S$ là một định lý trong $\mathscr{T}$, thì $S$ là phiếm hàm theo $x$ trong $\mathscr{T}$.