在长方形ABCD中,E为AD边长一点,连接CE和对角线BD相交于F点,已知三角形DEF的面积为4,三角形CDF的面积为