/  
Und es ist auch einleuchtend, daß sich dieses Erste in der Algebra als Rechnungsregel darstell[t|en] muß, mit deren Hilfe man dann die anderen Sätze prüft.
Eine Gleichung zwischen reellen Zahlen ist entweder eine Festsetzung, oder aus Festsetzungen durch Substitution abgeleitet