[问答题] 简述四色定理的证明过程。

铝及铝合金用焊条焊芯除纯铝外，还可加入少量硅或锰。（） 只有一相正弦交流电动势的交流电称为（）。 ["单相交流电","单相电流","单相电压"] 铝及铝合金焊条电弧焊时，电源应一律采用直流反接。（） 电动机的接线方式主要有（）种。 ["2","3","4"] 简述计算机对数学的影响。 简述四色定理的证明过程。