2.1.3 计算机证明