GoGeometry Action 96!
Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry).
Feel free to move any of the present (or soon to appear) BIG POINTS anywhere you'd like at any time.
How can we formally prove what is dynamically illustrated here?