わざとやってるのかどうか知らないけど、2の約数がいくつかなんて問題にしてないんだよ
論文に使われている「不定→矛盾」というロジックを使うと>>117も正しい証明となるがおかしいよね?