теорема не требующая доказательств