進数の場合のヘンゼルの補題.