Теорема о свойствах арифметики вещественных чисел


 * 1) является стандартным полем