在正方形ABCD-A1B1C1D1中,EF是异面直线AC和A1D的公垂线,求证EF//BD1