ノルムは距離である