>>680 はい。それもそうなのですが、どこで単射という仮定が
必要なのでしょうか?