Теорема состоит из