>>176
> k2x/k=2xなので、(2)は成立つ。
は証明では使えません

別の方法にします。