数域上椭圆曲线Mordell-Weil群的饱和性