>>689
ベクトルノルムであることの定義（性質)の
条件が成立していることを一つずつ確かめればよい。