test for injective function