prove injective and surjective