Regular Nonagon Simplicity (GoGeometry Action 175!)

Creation of this resource was inspired by this problem posted by Antonio Gutierrez (GoGeometry). You can move the 2 LARGE WHITE VERTICES anywhere you'd like at any time. How can we formally prove the phenomenon dynamically illustrated here?
Quick (Silent) Demo

Information: Regular Nonagon Simplicity (GoGeometry Action 175!)