で、冥王星は太陽系の惑星から外されたから、結果オーライだった