On the uniqueness of the fixed point index on differentiable manifolds

It is well known that some of the properties enjoyed by the fixed point index can be chosen as axioms, the choice depending on the class of maps and spaces considered. In the context of finite-dimensional real differentiable manifolds, we will provide a simple proof that the fixed point index is uniquely determined by the properties of normalization, additivity, and homotopy invariance.