Theorem: For any real numbers, and x max(x, y) = (1/2)(x+y+\x-yl)

One of the cases in the proof of the theorem uses the assumptions that ix-y=x-y.

Select the case that corresponds to this argument.