Если плоскость проходит через прямую, перпендикулярную другой плоскости, то эти плоскости перпендикулярны.
ОК ⊥ пл. АВС ⇒ ОК⊥ВД , так как ВД ∈ пл. АВС
пл. ВКД содержит ОК (то есть ОК ∈ ВКД )
пл. ВКД проходит через прямую ОК, перпендикулярную пл. АВС ⇒
пл. ВКД ⊥ пл. АВС