长方形ABCD面积为20,S△ABE=S△ADF=5,求三角形AFE面积.