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