7.1 公式的基本概念