\(A, B, C\) を \(\{ a_i \}\) と見る. これをソートして, \(a_1 = a_2\) ならば \(a_3\) を, そうでなければ \(a_1\) が異なる数値となる.