Copy of Animation 2

What geometry theorem is dynamically illustrated here?
Luk

Information: Copy of Animation 2