第一次用计算机证明数学定理发生在1972年，主要是证明（）。

第一次用计算机证明数学定理发生在1972年，主要是证明（）。
A.四色问题
B.多边形内角和
C.哥尼斯堡七桥问题
D.勾股定理
正确答案：A