横線の本数が有限なら帰納法でわかるから、問題になるのは本数が可算無限や非可算無限、あるいは分数や無理数や虚数の時か