∠BAC = ∠ВА₁С₁ как соответственные при пересечении АС║А₁С₁ секущей ВА,
∠ВСА = ∠ВС₁А₁ как соответственные при пересечении АС║А₁С₁ секущей ВС,
угол при вершине В - общий для треугольников АВС и А₁ВС₁,
Значит все углы ΔАВС соответственно равны углам ΔА₁ВС₁.
∠BAC = ∠ВА₁С₁ как соответственные при пересечении АС║А₁С₁ секущей ВА,
∠ВСА = ∠ВС₁А₁ как соответственные при пересечении АС║А₁С₁ секущей ВС,
угол при вершине В - общий для треугольников АВС и А₁ВС₁,
Значит все углы ΔАВС соответственно равны углам ΔА₁ВС₁.