Добавлена теорема 1