7.4.2 使用公式求值分步检查