Blanchet Action = GoGeometry Action 118!

Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry). You can alter the size of each colored angle by its respective colored slider at any time. LARGE POINTS are also moveable at any time. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo