Теорема: