Theorem 5-2: Proof

What geometry theorem is dynamically being illustrated in the animation below? [br](Feel free to move the BIG WHITE POINTS anywhere you'd like!)
Describe the steps animated in the diagram above:
Close

Information: Theorem 5-2: Proof