Bài tập 3, § 5

Cho $R$ và $S$ là các quan hệ trong $\mathscr{T}$, cho $T$ là một số hạng trong $\mathscr{T}$, và cho $x$ và $y$ là các chữ cái phân biệt. Giả sử rằng $y$ không phải là một hằng của $T$ và $x$ không xuất hiện trong $T$. Gọi $\mathscr{T}'$ là lý thuyết thu được bằng cách thêm $S$ vào các tiên đề của $\mathscr{T}$. Nếu $R$ là phiếm hàm theo $x$ trong $\mathscr{T}'$, và nếu $(T|y)S$ là một định lý trong $\mathscr{T}$, thì quan hệ $(T|y)R$ là phiếm hàm theo $X$ trong $\mathscr{T}$.