Overview of the Final Simplification in the Base Case

The But is our signal that the goal is proved.

Click here to step through the proof. It is very simple.