1. Дано: BC = AD, AB = CD.
2. Построим диагонали AC и BD.
3. Треугольники ABC и ADC равны по трём сторонам (AB=CD, BC=AD, AC - общая).
4. Следовательно, углы BAC и ACD равны как накрест лежащие при пересечении прямых AB и CD секущей AC.
5. Так как накрест лежащие углы равны, то AB || CD. Доказано.