特にFが全体空間H自身とは一致しないとき、Fに直交する非零ベクトルvが取れる（Fに属さないxをとって、v:=x−yと置けばよい）。
特别到，当F不等于H时，可找到一支非零向量v与F正交（选x∉F并考虑v=x−y）。