在棱长为二的正方体ABCD-A1B1C1D1中，E，F分别贼为DD1、DB的中点。求证：EF垂直B1C。