用证明函数为0(13个结果)
用证明函数为0