Если ∠1 = ∠2, а эти углы соответственные при прямых m и n и секущей, то прямые m и n параллельны по признаку параллельности прямых.
Ответ: доказано.