injective function proof