正方体A1B1C1D1-ABCD中,EF与异面直线AC、A1D都垂直相交,求证:EF//BD1