ホルストの「惑星」は占星術の「惑星」だから、
冥王星も占星術上は未だ「惑星」だから良いんでない?w