Лекция 10. А.С. Холево. Квантовая теорема кодирования. Доказательство прямого утверждения