为什么“对角线互相垂直平分且相等的四边形是正方形”不能作定理使用啊?