다음 중 발견되기 이전에 이미 그 위치가 수학적으로 예측되었던 행성은?