Zwei Terme/Termeinsetzung/Nicht ableitbar/Aufgabe

Es seien $r_{1}, r_{2}, s, t$ Terme einer prädikatenlogischen Sprache $L^{S}$ und sei $x$ eine Variable. Zeige durch ein Beispiel, dass

s = t \to r_{1} \frac{s}{x} = r_{2} \frac{t}{x}

nicht ableitbar sein muss.