GoGeometry Action 99!

Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry). You can change the measure of the green angle (soon to form) using the green slider. Feel free to move the BIG ORANGE POINT (soon to appear) at any time as well. The LARGE WHITE POINTS are also moveable. How can we formally prove what is informally illustrated here?