1821年，布瓦尔发现天王星的运动轨迹与计算的位置产生了很大偏差，他提出假设，天王星的附近有一个运动体存在。1846年，勒维耶完成了这个假设行星（海王星）位置的推算。1846年9月23日晚间，海王星被发现了，与勒维耶预测的位置相距不到1°。这说明（）。