The index of a holomorphic mapping and the index theorem