Animation 139

What (not-so-obvious-at-first) geometry theorem is dynamically being illustrated here? (Feel free to move the gray vertices anywhere you'd like.)