Ja. Das sind auch die gängigen Verfahren. Das Divisionsverfahren habe ich auch noch nicht wirklich in einem Buch gefunden. Auch Wikipedia schweigt sich aus.
Aber wenn ich zwei Gleichungen habe die gültig sind
a = a und b = b
Dann sollte klar sein das auch
a/b = a/b
gültig ist.
Man darf also die eine Gleichung durch die andere Teilen.