直接证明相关论文