СРТ-теорема, см. Теорема СРТ.