Animation 172

What (not-often-seen and not-well-known) theorem is dynamically being illustrated in the applet below? (Feel free to move the BIG POINTS around at any time during the animation!)