Exercise 5, Appendix 0

Let $A$ be an assembly in a theory $\mathscr{T}$, let $T$ be a term in $\mathscr{T}$, and let $x$ be a letter. If $(T|x)A$ is a term (resp. a relation), then $A$ is a term (resp. a relation). (Use Exercise 4.)