[math-fun] Giant planet was ejected from the solar system ?