This question was asked in One One function
How do we know that this is one one function 

Amar Jeet's image