Complex Numbers, Morera's Theorem

Morera's Theorem

If f is continuous in a simply connected domain, and all contour integrals within this domain are 0, then f is analytic.

This is the converse of Goursat's theorem, which proves that analytic functions (which are obviously continuous) have contour integrals of 0.

The construction of the integral of f only requires continuity and contour integrals of 0. Yet the resulting integral is analytic. Its derivative is f, and by the previous theorem, f is also analytic.

That's it! Isn't it beautiful?