海王星和哈雷彗星是在（）定律的基础上发现的。