generating methane from co2 and electricity is fairly easy, mining helium from jupiter too. Once you have self sustaining colony on mars it can colonise the rest of the solar system far easier than earth can.