Once that task is done, all the properties of real addition follow immediately from the properties of rational numbers.
Как только эта задача будет выполнена, все свойства сложения действительных чисел будут следовать непосредственно из свойств действительных чисел.