 A typical example of this is Rochlin's theorem, which follows from the index theorem.The index problem for elliptic differential operators was posed in 1959 by Gel'fand.He noticed the homotopy invariance of the index, and asked for a formula for it by means of topological invariants.