– теорема о линии пересечения двух поверхностей вращения с общей сферой касания.