Creation of this resource was inspired by this 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?