第一颗白矮星是理论上先预言的，在天文观测发现的。