霍金何时证明面积定理的（）。

素数定理必须以复分析证明。() 素数定理必须以复分析证明（） 中国最早证明勾股定理的人是()。 勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？ 五色定理的证明者是： 五色定理的证明者是() （）运用出入相补的方法证明勾股定理。 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 反演归结(消解)证明定理时,若当前归结式是时,则定理得证 用归结反演证明定理时，若当前归结式为（），则定理得证 正弦定理现代主要用向量的方法证明。（） 证明不完全性定理的人是() “构造性”证明了算术基本定理。（） 正弦定理现代主要用向量的方法证明（） 从面积定理可以证明两个黑洞可以合并成一个,但一个黑洞不能分裂成两个. 消解反演证明定理时，若当前归结式是空子句，则定理得证。() 鲁宾逊提出了（）使机器定理证明成为可能 反演归结（消解）证明定理时，若当前归结式是空子句时，则定理得证。 反演归结（消解）证明定理时，若当前归结式是永真式时，则定理得证。 中国数学史上最先完成勾股定理证明的人是（ ）？