5.3.2 对上文理论的数理表达