>512
kがどんな数でも同じ ではない

成立つか、成立たないかは、同じです。