Сторона ВD для прямых углов АВD и СВD – общая, их сумма 180°. Если сумма двух углов с общей вершиной, одна из сторон которых — общая, равна 180°, эти углы - смежные. Каждый из этих углов дополняет другой до развернутого угла, стороны которого составляют прямую. Следовательно, точки А, В и С лежат на одной прямой, ч.т.д.