Теорема 16.1