Google Classroom
GeoGebraGeoGebra Classroom

Animation 102

What geometry theorem (or corollary, really) is dynamically being illustrated in the applet below? From which "bigger theorem" does this corollary immediately hold true?