Используя известные свойства куба,
можем заключить, что
По теореме п. 23 плоскости ABC1D1 и DA1B1C взаимно перпендикулярны.
Что и требовалось доказать.
