LyX 1.6, документ класса report. Почему-то имена теорем в dvi, pdf идут английским. На экране LyX все по-русски. Смотрел список багов, ничего об этом нет. Может, что-то не настроено? Вот небольшой файл для примера: http://sciencefit.narod.ru/tmp.lyx -- Всего доброго, А.Л.