4.3 推导规则