7.2.4 问题公式化