ヘンゼルの補題と7進法人間

みなさん、ヘンゼルの補題 という定理をご存知でしょうか。ヘンゼルの補題は、整数論についてのとても重要な定理の一つです。 進数 という、現代の整数論において必須とも言える概念とも深く関連します。でも、ちょっとだけややこしい。今日はこの定理の紹介を試みようと思います。