Теоремы о гранях ограниченного числового множества как выражение непрерывности множества действительных чисел

В статье приводятся доказательства теорем о существовании точных граней у ограниченного множества действительных чисел, на основе определения действительного числа как бесконечной десятичной дроби, не содержащей девятки в периоде.