4.2 推导