有效的哈希与相等契约必须满足哪项陈述？

有效的哈希与相等契约必须满足哪项陈述？

1. 相等键必须拥有相同哈希值；不相等的键仍然可以冲突。
2. 哈希值相等可以证明两个键相等。
3. 每个不相等的键都必须拥有全局唯一哈希值。
4. 键仍在表中时，其哈希值可以变化。