Could someone please check my work

3. Prove: If |x - y) 0, then x = y . Suppose |x - y 0. Then suppose for the sake of contradiction thatx # y. # |2 - yl > 0. Since E > 0 and |x - y| > 0, let E = x - y > 0 Since x - y 0, then x = y