k/k=1なので、成立つか、成立たないかは、
kがどんな数でも、同じ。