展开 索洛余值推导过