Mapping Induced by Inverse of Injection is Surjection