长方形ABCD面积是24平方厘米，三角形ADE的面积是3平方厘米，三角形DFC的面积是8平方厘米。三角形DEF的面积是( )平方厘米。