Index theorem