if the following are true:

• a = x
• b = x ⋅ y

then b = a ⋅ y

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

• b = a ⋅ y,

  if the following are true:

  • a = c
  • b = c

  then a = b

  • b = x ⋅ y
  • a ⋅ y = x ⋅ y,

    if a = b, then a ⋅ c = b ⋅ c

    • a = x