А что за теорема? Ее на форуме можно огласить? ...а-то вы там уже про гольцов отмочили