6.2 模型理论解推导