在正方体ABCD-A1B1C1D1中,E,F分别是AB,BC的中点,0是底面ABCD的中心,求证EF垂直平面B1BO