证明两个小引理
发布人