What theorem is dynamically being illustrated below? (Feel free to move the triangle's vertices anywhere you'd like.)