ABCD — параллелограмм
AB ∥ CD, AD ∥ BC.
Для доказательства параллельности прямых используют один из признаков параллельности прямых,
чаще всего — через внутренние накрест лежащие углы. Для доказательства
равенства внутренних накрест лежащих углов можно доказать равенство пары
треугольников.