DES暗号化などでハッシュがユニークなものだという証明はされてるの？