Если кого-то интересует добавление теоремоподобных структур в стандартные классы LyX (article, report), предлагаю попробовать новые классы article-ru-math.layout report-ru-math.layout Положить в ~/.lyx/layouts, переконфигурировать lyx http://sciencefit.narod.ru/LyX/article-ru-math.layout http://sciencefit.narod.ru/LyX/report-ru-math.layout -- Всего доброго, А.Л.