[color=#38761d]Creation of this resource was inspired by a [url=https://twitter.com/davidpetro314/status/1017947788435447808]tweet[/url] posted by [url=https://twitter.com/davidpetro314]David Petro[/url]. [/color] [br][br][b][color=#ff00ff]How can we formally prove[/color][/b] [b][color=#1e84cc]what is dynamically illustrated here? [/color][/b] [br][b][br]LARGE POINTS[/b] are [b]MOVEABLE[/b]. [br][b][color=#1e84cc]The blue slider controls the measure of the (soon to appear) blue angle. [/color][/b]