在哪一年，“四色猜想”，最终被人们用计算机得到证明？（B）A1971年B1972年C1973年D1970年本门课程完整