;任何两个二分之一的证明相加都可构成完整的证明