((a ⋅ b) ⋅ c) ⋅ d = ((a ⋅ c) ⋅ b) ⋅ d
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
- ((a ⋅ b) ⋅ c) ⋅ d = ((a ⋅ c) ⋅ b) ⋅ d,
if a = b, then a ⋅ c = b ⋅ c
- (a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b, (a ⋅ b) ⋅ c = (a ⋅ c) ⋅ b