火星と木星の間の小惑星帯は、かつてそこにあった惑星が粉々に砕けた跡ってことでOK?