最後で3以上9999以下により成り立たないaは確かに排除されてるんだけど
この時点では
「a、a-1が互いに素であり、aが奇数である」この条件のもとなら
因数の振り分けが成り立つような説明になっている
けど、反例はあるわけで(ｱﾎが言ったようにa=20001,a-1=20000とか)
そこで、この解答者は解説には書いてないが頭で3以上9999以下を考慮しながら
解いたのか？という事になるけど
そんな器用な事ができるのであろうか？