6.2 模型及引理