Теорема о свойстве классов эквивалентности.