Sorting lines equal values up side by side, so any duplicate shows up as two identical neighbors. One left-to-right scan of adjacent pairs settles it.