It's really fun seeing Manim [1] used to illustrate a proof!

(See the video at the bottom)

[1]: https://github.com/3b1b/manim