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