单选题 电脑以其卓越的性能，可以代替人们完成复杂而繁重的某些工作。如两名美国科学家用电脑做完了200亿个逻辑判断，终于证明了“四色定理”。这一事实说明( )。