冥王星は惑星ではない。