Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
смежный с данным действительным числом a интервал (a, a + ε) или полуинтервал [a, a + ε) при любом фиксированном ε > 0
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
точка x0 такая, что f(x0) = 0; можно трактовать как решение уравнения f(x) = 0
процесс составления или вычисления суммы