直四棱柱的性质可以得到的是侧棱垂直于底面,还是侧面直垂于底面?江苏高中立体几何证明时可以直接用的是哪个?