>>89
>全射の存在がいえたのでcard[0,1]≧card([0,1]×[0,1])
単射の存在を示さないでこうしてしまってもいいんでしょうか?