[akubera]

Mathologer has a great video covering this: https://www.youtube.com/watch?v=aCj3qfQ68m0

Visualizes a proof and talks about special cases and a little of the history.