Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe/Lösung

Wir betrachten $r_1=x$, $r_2=y$ und $s=c$, wobei $x,y$ Variablen seien und $c$ eine Konstante sei. Dann ist  $r_1\frac{s}{x}=c$  und  $r_2\frac{s}{x}=y$.  Die Aussage lautet also in diesem Spezialfall

$x=y\to c=y.$

Dieser Ausdruck ist aber nicht allgemeingültig, da man $x$ und $y$ durch ein gemeinsames, von $c^M$ verschiedenes Element belegen kann.

Zur gelösten Aufgabe