Добрый день!

Если кого-то интересуют теоремоподобные утверждения 
в стандартном классе article для LyX, 
можно попробовать новый класс 
article-ru-math

Если что-то улучшите, дайте знать

А.