>成否が同じでない場合を考えていないあなたの証明は間違いということが分かりましたか？

kを払った場合と、払わない場合で成否が異なるならば、それは、矛盾です。