把下列语段中画线的部分变为四个短句。（可对文字稍做删减，不能出现语病）

哥白尼的太阳系学说在300年里一直是一种假说，而当勒维烈从这个太阳系学说所提供的数据，不仅推算出一定还存在一个尚未知道的行星，而且还推算出这个行星在太空中的位置的时候，当加勒于1846年确实发现了海王星这颗行星的时候， 哥白尼的太阳系学说才被证实了，成了公认的真理。

①

②

③

④