已知三棱柱ABC-A1B1C1中,E为B1C1的中点,F为AA1的中点,求证:A1//平面B1CF