Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I think, we can say that this question is also related with cryptology. How can we sure that a crypto algorithm results in one-to-one transformation? We cannot test all inputs.