それを使って単射性いえますか?