Прямые В1О и А1С1 в пространстве являются скрещивающими. Согласно лемме о перпендикулярности двух параллельных прямых: если одна из двух параллельных прямых перпендикулярна третьей прямой, то и другая прямая перпендикулярна к этой прямой.
Плоскости ВВ1D1D и AA1C1D являются диагональными плоскостями куба и перпендикулярны друг другу. Прямая АС||А1С1 - диагонали противоположных граней куба, лежащие в одной плоскости.
В1О перпендикулярна АС, тк лежит в перпендикулярной к АС плоскости, согласно лемме В1О также перендикулярна и прямой А1С1, параллельной АС.