Which statement is required by a valid hash-equality contract?

Which statement is required by a valid hash-equality contract?

1. Equal keys must have equal hashes; unequal keys may still collide.
2. Equal hashes prove that two keys are equal.
3. Every unequal key must have a globally unique hash.
4. Hash values may change while a key remains stored.