Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны.
Углы равны, значит, прямые параллельны.
a || b