GoGeometry Action 178!
Creation of this resource was inspired by a problem posted by Antonio Gutierrez (GoGeometry). 
You can move any of the LARGE POINTS anywhere you'd like AT ANY TIME.  
How can we formally prove what is dynamically illustrated here?