Det er vigtigt at bemærke, at dette er forskelligt fra opdagelsen af dværgplaneten Pluto, som var i 1930 ligeså! Det er et sjovt tilfælde.