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