Орисфера (предельная поверхность)

последовательность n независимых испытаний, каждое с двумя исходами ("успех" - "неудача"), вероятности которых (p,q) не меняются от испытания к испытанию

для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)

цепь, не содержащая цикла (т. е. все ее вершины различны)