三角形全等的判定中证明是要证明什么?