Хорошая теорема, спасибо, Кумир!