7.1 谷神星如何变成太阳系第一个失去行星地位的天体？