4.2.1 推导1