Helton & Howe (1975) gave an analytic way to establish this index theorem, simplied later by Howe. Their proof relies on the fact if f is smooth then the index is given by the formula of McKean and Singer :