Ever witnessed a mathematician having an existential crisis? This is pure gold. The Jordan Curve Theorem—which basically says "closed loops have an inside and outside"—seems ridiculously self-evident, yet it requires a complex formal proof that drove this poor soul to mathematical madness.
It's the mathematical equivalent of spending three hours proving water is wet. The frustration is palpable—like explaining to your grandparents why the sky is blue and getting asked for peer-reviewed citations.
Twenty pages of topology just to confirm what every fence-builder since the dawn of civilization intuitively knew. This is why mathematicians drink.