k/k=1としなくて、そのままでも、成否はおなじです。
変われば、矛盾します。