>>88
全射の存在がいえたので card[0,1]≧card([0,1]×[0,1])
[0,1]から[0,1]×[0,1]への単射の存在は簡単に示せる。
よって、card[0,1]≦card([0,1]×[0,1])
したがって、ベルンシュタインの定理から等号がいえる。

ベルンシュタインの定理の証明はどこにでもある。