推理填空：如图，已知，，可推得．理由如下：

∵（已知），且（　　）
∴（等量代换）
∴（　　）
∴（两直线平行，同位角相等）
又∵（已知），
∴（等量代换）
∴（　　）