空间几何证明,如果平面ABC垂直于平面EFG,我们可以直接说AB⊥EF吗