任意の実数x,yに関して、x<yのとき、x<a<yとなる無理数aが存在する。
↑証明ください