сформулировать и доказать теорему о соответственных углах для параллельных прямых

Если при пересечении двух прямых секущей соответственные углы равны, то прямые параллельны. Дано: a и b - прямые          c- секущая          уг. 1 = уг. 2- соответств.                     Доказательство:уг.1 = уг.2 ( по условию ), уг.1 = уг.3 ( как вертикальные), следовательно уг.2 = уг. 3 ( а они накрест лежащие ), следовательно a || b по I признаку.