Entonces, x'+ y'= x+ y + s + t, como s+t está en K, x' + y' "R" x + y.