Bài tập 5, § 1

Cho $A$ là một tổ hợp trong một lý thuyết $\mathscr{T}$ và $x$ là một chữ cái. Chứng minh rằng nếu $\tau_x(A)$ là một số hạng trong $\mathscr{T}$, thì $A$ là một quan hệ trong $\mathscr{T}$.