Connes–Donaldson–Sullivan–Teleman index theorem