વરુણ આણા સૌરમંડળનો પહેલો એવો ગ્રહ હતો, જેના અસ્તિત્વની ભવિષ્યવાણી તેને વગર કોઈએ જોયે ગણિતના અધ્યયનથી કરવામાં આવી હતી અને તેને તે જ આધાર પર શોધવામાં આવ્યો.