正方形ABCD边长为4,长方形DEFG的EF为5.求DE的长.