Доказательство:
AB = CD, BC = AD (по условию) => ABCD - параллелограмм (по признаку попарно равных противоположных сторон)
Из определения параллелограмма знаем, что стороны параллелограмма попарно параллельны => BC || AD
BC ∈ a, AD ∈ b (по условию)
a || b, так как лежащие на них отрезки параллельны
ЧТД