＞どこで単射という仮定を使っているかわからないし
それなら、単射でない場合にどうなるかやってみようとか思わんのかね。