if the following are true:

• a < b
• c = a

then c < b

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

• c < b,

  if the following are true:

  • a < b
  • a = c

  then c < b

  • a < b
  • a = c,

    if a = b, then b = a

    • c = a