Exercise 5, § 4

Let $A$ and $B$ be relations in $\mathscr{T}$, and let $x$ and $y$ be letters. If $x$ does not appear in $B$, nor $y$ in $A$, then

is a theorem in $\mathscr{T}$.