Теперь докажем теорему, из которой в частности следует несчетность множества действительных чисел ª.
Теорема. Если множество X̪ содержит некоторый отрезок [a;b], то множество X несчетно.