C.a.R. > Applications > Area > Pythagoras Theorem
This is a complicate partition to prove the Pythagoras theorem.
During the animation, some areas become invalid, and others become valid.