What theorem is being dynamically shown here? (Feel free to move any of the points anywhere you'd like!)