На рисунке 113 показано, что углы BAC и CDA являются внутренними накрест лежащими углами при прямых BC и AD, пересеченных прямой AC. Если эти углы равны, то BC || AD. Из рисунка видно, что углы обозначены одной черточкой и, следовательно, равны. Значит, BC || AD.