∠1=∠2, а значит а║b ( по теореме: если при пересечении двух прямых секущей соответственные углы равны, то прямые параллельны)
∠2+∠3=180°, значит b║с ( по теореме: по теореме: если при пересечении двух прямых секущей сумма односторонних углов равна 180°, то прямые параллельны)
если a║b, a b║c, то а║с
