What theorem is dynamically being illustrated in the applet below? (Be sure to move the brown point around!)