Противолежащие стороны параллелограммов параллельны и равны, поэтому CD = АВ = C1D1 Получаем, что прямые CD и C1D1 параллельны прямой АВ и, следовательно, параллельны между собой (теорема 17.2). Значит четырехугольник CC1D1D это параллелограмм. Что и требовалось доказать.