翻译

过度证明的

以上结果来自机器翻译。