海王星是理论预测后发现的，成功的证明了（）定律是正确的。