вспомогательная теорема