if the following are true:

• x = a
• x ⋅ y = b

then a ⋅ y = b

Start from the conclusion and work back up the proof. Click the arrow to show the parents.