What (not-well-known and not-often-seen) geometry theorem is dynamically being illustrated in the applet below?