立体几何中正方体对角线平行要重新证明吗?