если X- компактное комплексное пространство и [img: http://localhost:8080/file/021233-43.jpg] - когерентный аналитич. учок на X, то пространства когомологий [img: http://localhost:8080/file/021233-44.jpg] конечномерны и отделимы для всех [img: http://localhost:8080/file/021233-45.jpg] Обобщение этой теоремы на случай выпукло-вогнутых пространств

http://libmeta.ru/resource/mathenc/publication/p8924