4.2.2 推导2