Poincaré–Hopf index theorem