それは、０〜１間にある実数と０〜２間にある実数の
濃度は同じという証明であろう。