“四边形是正方形”是“两条对角线互相平分”的什么条件