在棱长为2的斜三棱柱ABC-DEF中,已知BF⊥AE,BF∩CE=O,连结AO,求证:AO⊥平面FEBC;