证明：本证明施联立归纳于的良建子表达式关系(well-founded subexpression relation)。 在此我们只须补充（1）关于D的证明，其余证明参见［1］的引理6.1 的证明。
基于8个网页-相关网页
well-founded subexpression relation
建立良好的子表达式关系
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动