正方形ABCD的边长为4,若边长为2的正方形BEFG的对角线BF落在AB边上,则DG的长为