Die Frage wird gelöscht. (Schreibregeln)
Dein Beweis hinkt: Du machst 3 Fälle. Dann ist mir aber nicht klar, wie ich weiterlesen muss. D.h. welche Rechnung zu welchem Fall gehört. Auch kommen in den Rechnungen die Axiome A1, A2 usw. gar nicht mehr vor.