Atiyah-Singer index theorem

Etymology
Proved by Michael Atiyah and Isadore Singer in 1963.

Proper noun

 * 1)  A theorem stating that, for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data).