hätte mich das nicht sofort auf 1 - b = 1/a - b/a = ( 1-b) / a geführt.
war eigentlich nicht so fernliegend, denn der Ansatz ist ja
a + b - a*b = 1 dann ist ja vielleicht die Division durch a noch einsehbar
1 + b/a - b = 1/a und wenn man auf der Suche nach einem Widerspruch
zu a und b beide ungleich 1 ist, fiel es mit nach einiger Zeit auf, dass es mit
1 - b = 1/a - b/a = ( 1-b) / a ganz gut geht.
Das neutrale El ist 0 ( Das ist ja ziemlich leicht zu sehen, und dann muss man
ja nur a+ a' - a*a' = 0 so umstellen, dass a' alleine steht.
also a' - a*a' = -a und dann links a ' ausklammern.