第十八章无极阵法变量证明