⇒ AA1 ⏊ AD, AA1 ⏊ AB
BB1 ⏊ ABCD
CC1 ⏊
ABCD ⇒ CC1 ⏊ BC, CC1 ⏊ CDDD1 ⏊ ABCD ⇒ DD1 ⏊ AD, DD1 ⏊ DC
⇒ BB1 ⏊ AB, BB1 ⏊ BC
Что и требовалось доказать.
Боковые грани параллелепипеда являются прямоугольниками