古尔丁定理证明(部分)
发布人