А.С. Холево. Доказательство гипотезы о квантовых гауссовских оптимизаторах