if the following are true:- a = b + c
- c = d
then b + d = a
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
then b + d = a
Start from the conclusion and work back up the proof. Click the arrow to show the parents.