6.1.1 公式的概念