第一颗发现的白矮星是理论上先预言的，后来才被观测发现的。