Es sei x {\displaystyle {}x} eine Variable, t {\displaystyle {}t} ein Term und α ∈ L S {\displaystyle {}\alpha \in L^{S}} ein Ausdruck. Zeige