if the following are true:

• not (b = 0)
• not (d = 0)
• not (b ⋅ d = 0)

then (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.