证明等式AB AC BC=AB AC成立(A表示A做非运算)