Для доказательства того, что AC || b, нам нужно показать, что внутренние накрест лежащие углы равны. Дано, что ∠1 = ∠2. Эти углы являются внутренними накрест лежащими углами при пересечении прямых AC и b секущей AB. Поскольку эти углы равны, то прямые AC и b параллельны. Таким образом, AC || b.