明代单选题中子星的发现是先有理论的预言，然后才在天文学上发现的