请把下面证明补充完整.
证明:∵ , ▲ (已知)
∴ ▲ (垂直的定义)
∴ ▲ ▲ (同位角相等,两直线平行)
∴( )
∵(已知)
∴ ▲ = ▲ (等量代换)
∴ ▲ ▲ (内错角相等,两直线平行)
∴ ▲
即 ▲ .