Animation HL

What geometry theorem is dynamically being illustrated in the applet below? (Feel free to move any of the points anywhere you'd like.)