λ=λ_n として
固有値λ_iの固有ベクトルv_iを、v_1,・・・,v_nがR^nの正規直交基底となるようにとる
x=Σc_iv_i が|x|=1を満たせばΣc_i^2=1
(Bx|Bx)=Σc_i^2λ_i^2≦λ^2Σc_i^2=λ^2