Und es ist auch einleuchtend, daß sich dieses Erste in der Algebra als Rechnungsregel darstellt || darstellen 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.