Ну, на уровне терминологии пучки нужны в современном изложении, но сам Чжоу опубликовал результат, когда "теории пучков" еще не существовало (строго говоря, в 1949 году, и пучки появились в печати в Séminaire Henri Cartan в том же году, кажется).