划线部分怎么推导。