Aber, wenn wir nun z.B. das Kommutative Gesetz im Strichsystem bewiesen haben, ist es dann nicht von höchstem Interesse, daß die Rechnungen im Dezimalsystem – so gut wie immer – diesen Beweis || dieses Gesetz befolgen? Und nicht nur darum weil man also so kürzer rechnen kann, sondern weil man also auch anders rechnen kann.