Метод сдвига аргумента и деформационное квантование

Я попробую рассказать о том, почему коммутативные семейства функций в пуассоновой алгебре, получающиеся при помощи метода "сдвига аргумента" в обобщенном смысле, всегда могут быть "проквантованы" до коммутативных алгебр в алгебре с "звездочка-умножением". Получающаяся конструкция, однако, является чистой теоремой существования.