Изменения
→Пример
{{Теорема
|author=Больцано
|statement=Из любой ограниченной подпоследовательности последовательности можно выделить сходящуюся подпоследовательность
|proof= Применим способ половинного деления, основанный на принципе вложенных отрезков: если строить систему отрезков путем деления предыдущего отрезка пополам, то получится система вложенных отрезков, и так до бесконечности..