Formal versus analytic index theorems - Nest, Ryszard; Tsygan, Boris (1993)