Let be two Dedekind cuts. Is it true that ? where , the meaning of is similar.

I met with this problem while trying to prove the equivalence of two formulations of addition of real numbers, therefore, to avoid iterative proof please restrict addition to rationals only. Thanks!