if f = a - 0, then f = a

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

• f = a,

  if the following are true:

  • a = b
  • b = c

  then a = c

  • a - 0 = a, a - 0 = a
  • f = a - 0