Animation 52

What theorem is dynamically being illustrated in the applet below? (Feel free to move the white points anywhere you'd like!)
Luk

Information: Animation 52