The But is our signal that the goal is proved.
Click here to step through the proof. It is very simple.
