Tipp: Lies mal Deinen Text laut(!), dann merkst Du, dass es teilweise unzusammenhängende Aussagen sind.
Im Einzelnen: Trenne den Beweis von der Behauptung. ("Beweis:").
Verwende Text "Da \(a|b\), gibt es \(k\in Z\) mit....".
Fallunterscheidung ist in Ordnung, aber schreibe nie(!) einfach Gleichungen untereinander, der logische Zusammenhang fehlt (um den geht es beim Beweis). Insb. wie man von \(e\cdot k=1\) zur Behauptung kommt, ist unklar (genauer gesagt: falsch). Genauso im zweiten Fall.
Beim Fazit fehlt ein Wort (laut lesen!).