1Proof — the theorem loaded in the player; the ? gives its idea in one line
2Display — Labels shows the point names, Measures writes each angle's size beside its arc
3The vertices — all five can be dragged, as long as the pentagon stays convex
4Readout — the line under the figure: the sum of the five angles, live while you drag
5Back, Play, Next, Reset — step through the proof or run it; Reset returns to step 1 and restores the original pentagon
6Speed and step counter — how fast Play advances, and which of the 5 steps is on screen
7Step explanations — every step reached so far, with its justification tag and a link to the section that explains it; click an entry to jump back to it