GoGeometry Action 169!

Creation of this resource was inspired by a problem posted by Antonio Gutierrez. You can move ANY LARGE POINT anywhere you'd like at any time. How can we formally prove that what is dynamically illustrated here?