在哪一年,“四色猜想”,最终被人们用计算机得到证明?（）

A.1971年

B.1972年

C.1973年

D.1970年

正确答案：B