角A=角C+角AFC
证明：因为AB平行EF(已知）
所以角A=角AFE（两直线平行,内错角相等）
因为CD平行EF（已知）
所以角C=角CFE（两直线平行,内错角相等）
因为角AFE=角AFC+角CFE（已知）
所以角A=角C+角AFC（等量代换）因为角AFE=角AFC+角CFE，这一步不是已知吧？这一步是根据图中得出也可算是已知