см. Теорема СРТ .