为什么没有“对角线互相垂直平分的四边形是菱形”这样的判定?