and so is the rest of the asteroid belt

ceres is a planet

comments

by that logic, a relatively large comet could briefly add another planet to the solar system, which means the number of planets is constantly fluctuating

i consider this an unexpected benefit