Hint: You can step through the proof by clicking repeatedly on the right arrow of the movie controller bar.