>>898
ノルムが中線定理を満たすことと,
そのノルムが適当な内積から誘導されることが同値.