1+3的證明要靠电子计算机来算是胡扯。