東工大の整数問題（1986年第一問）

東工大の整数問題を、河野弦斗さんが扱っていて、
数学的帰納法を使って説明していた。

https://www.youtube.com/watch?v=SH3q_itHBFY&t=454s

そして、問題を見ていて、合同式を使って解けそうだと思ったので、
解いてみた。
改めて、合同式は強力な解法だね。