数は無限にありそうだから無限にあってもおかしくないと思うんだが証明されてない