Mars did not form in the asteroid belt. Mars formed the asteroid belt. Ancient Martians saw the fifth planet as a threat. After grokking the threat, they destroyed the planet. The asteroid belt is what remains.
Stranger in a Strange Land