What theorem is dynamically illustrated in the applet below? (Feel free to move any of the points around.)