О мягкости индуктивного предела мягких пучков

Установлено, что индуктивный предел прямого спектра по направленному множеству мягких пучков над паракомпактным пространством является мягким пучком. В частных случаях этот результат был ранее получен Гротендиком для компактных пространств и Зарелуа для возрастающего семейства мягких подпучков пучка.