7.1 推导