if a = b ⋅ 1, then a = b

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

• a = b,

  if the following are true:

  • a = b
  • b = c

  then a = c

  • b ⋅ 1 = b, a ⋅ 1 = a
  • a = b ⋅ 1