Animation 2

What geometry theorem is dynamically illustrated here?
Luk

Information: Animation 2