任意のa,b（ただしbは1でない)に対して
a = b ^ k となるような、kは存在するはず
ということで底の変換公式が証明されますが
何故、そういうkが存在するといえるのかが分かりません。
どうやって納得すればよいでしょうか？