Quatsch. Selbst Pluto ist kein richtiger Planet. Also nix mit zehnter Planet.

<klugscheissmodus>
Ein "Planet" der kleiner als der Pluto ist, erhält sicher nicht die
Ehre ein Planet zu werden. Der Pluto hat das nur bekommen, weil er
eben schon 1937 oder so entdeckt wurde. Wäre er heute entdeckt
worden, wäre er sicher keiner geworden.
</klugscheissmodus>