Problem 10) snow that if

L_(x)

and

Ly

are dedekind outs defining real numbers

x

and

y

then\

L_(x)+L_(y)={(r+s:rinL_(x)):}

and

{:sinL_(y)}

is also a dedekind cut determining the sum

x+y

.

Problem 10) snow that if Lx and Ly are dedekind cuts defining real numbers x and y then Lx+Ly={r+s:rLx and sLy} is a dedekind cut determining the sum x+y