看情况而定

OC  垂直于平面xyz，则OC垂直于xyz上所有直线

OB不垂直于另一个面，但是OB垂直于OC并垂直于所有OC的平行线

但是明显OB不垂直于EF

我都是直接用。。。。。