今日のテーマは ヘンゼルの補題 です。ヘンゼルの補題は、 進数における方程式の解の存在に関わる定理で、このブログの過去の記事でも紹介したことがありました。 tsujimotter.hatenablog.com 「7進法人間」の記事では、定理の主張の紹介にとどめて、証明ま…