中子星是理论上先（）的，之后天文观测发现的。