Thales Action + Sequel = GoGeometry Action 25!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
Feel free to move any BIG POINTS anywhere you'd like at any time.
How can you formally prove what this applet informally illustrates?