>>440
> <l、b1、・・・、bK>^⊥=<η> となる過程がなければ (ただし <・・・>^⊥は <・・・>の直交補空間を表す)
“となる過程がなければ” → “を導く仮定がなければ”