单项选择题

1976年美国的两位数学家用电子计算机证明了()。

A.四色猜想
B.五色猜想
C.三色猜想
D.两色猜想