9307 Regiomontanus jẹ́ plánẹ́tì kékeré ní ibi ìgbàjá ástẹ́rọ́ìdì.