【变量替换定理】主证明1,2:化归
发布人