Poincaré-Hopf index theorem