>>102

そこは言葉だけで説明できそうですが
＜(*)の中にはk桁の数が必ず存在し＞
の部分の説明をしないとちゃんと証明したことにならないのではないかと思ったのですが
それでいいのでしょうか？