The reason this anecdote is so significant is the sequence. It’s easy to discover a new planet and then work up the math proving that it’s there; it’s quite another to mathematically insist a massive undiscovered planet should be precisely where it ends up being.