Отмеченные углы - накрест лежащие при пересечении двух прямых a и b секущей прямой с. По условию углы равны. Теорема о параллельности двух прямых: если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны. В нашем случае так и есть.