Animation 68

What geometry theorem is dynamically being shown below?
Fermer
– Tim Brzezinski

Information: Animation 68