理论和观测对于天文学来说同等重要。1846年，一颗行星通过数学计算预测而非有计划的观测被发现。这颗被誉为“笔尖下发现的行星”的是：（）

A、天王星

B、海王星

C、冥王星

D、以上都不是