BC ⊥ CD
FC ⊥ CD
Если прямая (CD), пересекающая плоскость (BCF), перпендикулярна двум прямым (BC; FC) в этой плоскости, проходящим через точку пересечения данной прямой и плоскости, то она перпендикулярна плоскости.
CD ⊥ BCF
Прямая (CD), перпендикулярная плоскости (BCF), перпендикулярна всем прямым, лежащим в этой плоскости.
BF ∈ BCF
CD ⊥ BF