冥王星が惑星とされなくなったとしてもあの星を
冥王星と呼ぶことは変わらないんじゃないの？(;´Д`)