which new idea has been added into our theory of solar system formation as a result of the discoveries of extrasolar planets?