定理: "a" の固有ベクトルで構成される "v" のある正規直交基底が存在する。