6.4.1 公式的概念