正方體ABCD-A1B1C1D1中,EF是異面直線AC和A1D的公垂線,則EF和BD1的關(guān)系是