有一句关乎实现的话没翻译：

• All of the integers are distinct.

也就是没有重复数。