a/b = c/d
⇔ a · 1/b = c · 1/d laut Definition "Bruch"
⇔ (a · 1/b) · b = (c · 1/d) · b wegen b≠0
⇔ a · (1/b · b) = (c · 1/d) · b wegen Assoziaativgesetz
⇔ a · 1 = (c · 1/d) · b laut Definition 1/b
⇔ a = (c · 1/d) · b wegen Neutralität der 1 bez. Multiplikation
⇔ a = b · (c · 1/d) wegen Kommutativgesetz
⇔ a = (b · c) · 1/d wegen Assoziativgesetz
⇔ a · d = ((b · c) · 1/d)·d wegen d≠0
⇔ a · d = (b · c) · (1/d·d) wegen Assoziativgesetz
⇔ a · d = (b · c) · 1 laut Definition 1/d
⇔ a · d = b · c wegen Neutralität der 1 bez. Multiplikation