Что теорема не доказывается, тоже надо доказать.