Теорема Больцано-Вейерштрасса для множеств
Любое бесконечное ограниченное множество имеет предельную точку
пусть А - огр., |A| <= X0 
тогда A' - не пусто