無限降下法2021/3/13 15:30:00 https://ja.m.wikipedia.org/wiki/無限降下法 自然数の性質と背理法を用いた証明方法 接触元 https://misskey.io/notes/8jbd7ad0v6