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